#include "solver.h"
extern bool solve_ksat(struct ksat *ksat);
extern bool solve_ksat1(struct ksat *ksat, int list[]);
extern bool solve_ksat2(struct ksat *ksat, int list[]);
